Nuprl Definition : imin
13,42
postcript
pdf
imin(
a
;
b
) == if
a
z
b
then
a
else
b
fi
latex
Up
int
2
,
int
2
Wellformedness Lemmas
imin
wf
,
imin
wf
Definitions
if
b
then
t
else
f
fi
,
i
z
j
FDL editor aliases
imin
origin